... تعاریف و قضایای ریاضی منعکس‌اند. دلیل این امر این ... های بارز میان ریاضیات و استدلال جدلی می‌داند. ... باشند»؛ و به این دلیل که «لواحق طرفین» در ... بر اساس این تعریف‌، استدلال از طریق برهان خلف ... ترکیب یا «قیاسی برهانی» عکس ترتیب است. تعریف ابن‌هیثم از ...